Three challenges in machine-based reasoning
amazon.science·20h·
Discuss: Hacker News
🧮Theorem Proving
How To Solve Every Programming Problem
blog.codeminer42.com·6h
📐Interval Arithmetic
Automated Fuzzy Rule Optimization via Hybrid Genetic-Simulated Annealing for Medical Diagnostic Systems
dev.to·7h·
Discuss: DEV
🔗Constraint Handling
Thinking with Nothinking Calibration: A New In-Context Learning Paradigm in Reasoning Large Language Models
arxiv.org·22h
🎯Dependent Parsing
Responsible AI for the payments industry – Part 2
aws.amazon.com·6h
🤖AI Curation
Weeknotes #336 — Sleepy bones
andrewdoran.uk·3h
⭐Awesome lists
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
Integrating Argumentation Seamlessly
blog.mathed.page·3h
📚Proof Pedagogy
Show HN: Principles of Building AI Agents book [pdf]
github.com·11h·
Discuss: Hacker News
⚡Proof Automation
DF/IR Paralysis: What to Do When You Don’t Know What to Do
brettshavers.com·10h
👂Audio Evidence
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·22h
✨Effect Handlers
States take the lead in AI regulation as federal government steers clear
arstechnica.com·12h
🤐Secure Multiparty
My blog on zero-knowledge cryptography
kaw101010.github.io·1h·
Discuss: Hacker News
🔐Quantum Security
A Beginner's Guide to Skyline Queries
hackernoon.com·1d
📏Range Queries
PFL: a Probabilistic Logic for Fault Trees
arxiv.org·1d
📋Formal Verification
[R] LLMs Have a Heart of Stone: Demystifying the Soft Thinking Ability of Large Reasoning Models
reddit.com·10h·
Discuss: r/MachineLearning
🧮Prolog Parsing
Show HN: Virtual Ontologies with Claude Code
medium.com·1d·
Discuss: Hacker News
🧮Datalog